Minimal structures for modal tableaux: Some examples
نویسندگان
چکیده
منابع مشابه
MINIMAL STRUCTURES FOR MODAL TABLEAUX: Some Examples
In this paper we present some examples of decision procedures based on tableau calculus for some monoand multimodal logics having a semantics involving properties that are not easily representable in tree-like structures (like e.g. density, confluence and persistence). We show how to handle them in our framework by generalizing usual tableaux (which are trees) to richer structures: rooted direc...
متن کاملLuis Fariñas del Cerro Olivier Gasquet MINIMAL STRUCTURES FOR MODAL TABLEAUX : Some Examples
In this paper we present some examples of decision procedures based on tableau calculus for some monoand multimodal logics having a semantics involving properties that are not easily representable in tree-like structures (like e.g. density, confluence and persistence). We show how to handle them in our framework by generalizing usual tableaux (which are trees) to richer structures: rooted direc...
متن کاملModal Tableaux for Nonmonotonic Reasoning
Artosi and Governatori (1994) and Artosi, Cattabriga and Governatori (1994) presented a tableau-like proof system, called KEM , which has been proven to be able to cope with a wide variety of (normal) modal logics. KEM is based on D’Agostino and Mondadori’s (1994) classical proof system KE, a combination of tableau and natural deduction inference rules which allows for a restricted (“analytic”)...
متن کاملSome Questions concerning Minimal Structures
An infinite first-order structure is minimal if its each definable subset is either finite or co-finite. We formulate three questions concerning order properties of minimal structures which are motivated by Pillay’s Conjecture (stating that a countable first-order structure must have infinitely many countable, pairwise non-isomorphic elementary extensions). In this article a connection between ...
متن کاملLabelled modal tableaux
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main function is to enrich the modal object language with semantic elements. This paper consists of three parts. In the first part we consider some options for labels: simple constant labels vs labels with free variables, logic depended inference rules vs labels manipulation based on a label algebra. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2004
ISSN: 2300-9802,1425-3305
DOI: 10.12775/llp.2000.007